Proving Safety of Traffic Manoeuvres on Country Roads
نویسندگان
چکیده
We adapt the Multi-lane Spatial Logic MLSL, introduced in [1] for proving the safety (collision freedom) of traffic manoeuvres on multi-lane motorways, where all cars drive in one direction, to the setting of country roads with two-way traffic. To this end, we need suitably refined sensor functions and length measurement in MLSL. Our main contribution is to show that also here we can separate the purely spatial reasoning from the underlying car dynamics in the safety proof.
منابع مشابه
Implementation of Random Forest Algorithm in Order to Use Big Data to Improve Real-Time Traffic Monitoring and Safety
Nowadays the active traffic management is enabled for better performance due to the nature of the real-time large data in transportation system. With the advancement of large data, monitoring and improving the traffic safety transformed into necessity in the form of actively and appropriately. Per-formance efficiency and traffic safety are considered as an im-portant element in measuring the pe...
متن کاملO3: Roads Safety in Developing Countries
The investigation showed that the increasing number of deaths and fatalities resulting from driving accidents is mostly related to developing countries especially with intermediate and low social classes which it is resulting from industrialization of the mentioned societies without considering necessary infra structures such as health, safety and environment (HSE). Increasing number of cars, u...
متن کاملImperfect Knowledge in Autonomous Urban Traffic Manoeuvres
Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous urban traffic manoeuvres with perfect knowledge. We now consider a concept of imperfect knowledge, where cars have less information about other cars. To this end, we introduce the concept of a multi-view and propose crossing controllers using broadcast communication with data const...
متن کاملO1: Roads Safety and Neurotrauma
Road traffic accidents account for approximately 3000 deaths on a daily basis, and 50 million injuries and 1.2 million deaths each year. In low-income and middle income countries, road traffic accidents account for 85% of deaths and 90% of annual disability. Casualties of this magnitude are a serious problem throughout the world and create a significant impact on society. In addition, neurologi...
متن کاملReconstruction of Roads – Road to Safety
The analysis of the existing condition of Serbian road network from the safety aspect, aiming at proving necessity for road network reconstruction as the basic precondition for reducing great number of traffic accidents is prepared in this paper.
متن کامل